[next] [prev] [prev-tail] [tail] [up]

2.2.14 Integrals 1301 to 1400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 321 274 512 0 526 0 726 600

N.S.

1 1.14 0.97 1.82 0.00 1.87 0.00 2.57 2.13

time (sec)

N/A 1.909 1.706 1.046 0.000 0.473 0.000 0.369 14.700

Problem 1302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 266 186 363 0 457 0 458 511

N.S.

1 1.13 0.79 1.54 0.00 1.94 0.00 1.95 2.17

time (sec)

N/A 1.477 1.310 0.777 0.000 0.443 0.000 0.369 13.193

Problem 1303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 178 155 309 0 414 0 371 453

N.S.

1 1.12 0.97 1.94 0.00 2.60 0.00 2.33 2.85

time (sec)

N/A 0.760 0.756 0.646 0.000 0.430 0.000 0.327 13.148

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 138 143 180 0 350 0 183 1320

N.S.

1 1.11 1.15 1.45 0.00 2.82 0.00 1.48 10.65

time (sec)

N/A 0.667 0.138 0.542 0.000 0.460 0.000 0.340 13.910

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 123 146 155 0 396 0 221 1167

N.S.

1 1.18 1.40 1.49 0.00 3.81 0.00 2.12 11.22

time (sec)

N/A 0.655 0.488 0.507 0.000 0.494 0.000 0.450 14.005

Problem 1306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 139 204 180 0 572 0 217 2718

N.S.

1 1.13 1.66 1.46 0.00 4.65 0.00 1.76 22.10

time (sec)

N/A 0.678 1.194 0.412 0.000 0.516 0.000 0.454 12.737

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 170 350 223 0 633 0 273 654

N.S.

1 1.10 2.27 1.45 0.00 4.11 0.00 1.77 4.25

time (sec)

N/A 0.918 6.095 0.459 0.000 0.519 0.000 0.466 12.176

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 222 433 291 0 904 0 375 953

N.S.

1 1.12 2.19 1.47 0.00 4.57 0.00 1.89 4.81

time (sec)

N/A 1.422 6.758 0.516 0.000 0.586 0.000 0.484 12.156

Problem 1309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 276 507 379 0 1051 0 484 1082

N.S.

1 1.13 2.08 1.55 0.00 4.31 0.00 1.98 4.43

time (sec)

N/A 1.862 1.984 0.723 0.000 0.596 0.000 0.447 12.502

Problem 1310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 190 180 256 205 199 0 261 236

N.S.

1 0.90 0.85 1.21 0.97 0.94 0.00 1.23 1.11

time (sec)

N/A 0.394 0.822 0.750 0.204 0.361 0.000 0.700 0.152

Problem 1311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 161 153 242 172 164 0 213 191

N.S.

1 0.89 0.85 1.34 0.96 0.91 0.00 1.18 1.06

time (sec)

N/A 0.366 0.414 0.673 0.201 0.373 0.000 0.430 11.693

Problem 1312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 132 128 160 139 142 0 165 150

N.S.

1 0.89 0.86 1.08 0.94 0.96 0.00 1.11 1.01

time (sec)

N/A 0.313 0.290 0.523 0.201 0.374 0.000 0.335 0.086

Problem 1313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 99 101 105 99 104 0 106 254

N.S.

1 0.93 0.94 0.98 0.93 0.97 0.00 0.99 2.37

time (sec)

N/A 0.311 0.102 0.641 0.193 0.449 0.000 0.345 11.951

Problem 1314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 90 86 90 91 133 0 105 233

N.S.

1 0.94 0.90 0.94 0.95 1.39 0.00 1.09 2.43

time (sec)

N/A 0.324 0.095 0.590 0.189 0.428 0.000 0.378 11.852

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 102 97 99 99 174 0 130 238

N.S.

1 0.97 0.92 0.94 0.94 1.66 0.00 1.24 2.27

time (sec)

N/A 0.339 0.262 0.546 0.201 0.409 0.000 0.374 11.818

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 117 110 111 113 198 0 151 227

N.S.

1 0.98 0.92 0.92 0.94 1.65 0.00 1.26 1.89

time (sec)

N/A 0.358 0.201 0.531 0.200 0.495 0.000 0.382 11.780

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 136 115 137 139 271 0 201 281

N.S.

1 0.92 0.78 0.93 0.94 1.83 0.00 1.36 1.90

time (sec)

N/A 0.324 0.633 0.612 0.208 0.417 0.000 0.386 11.619

Problem 1318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 170 179 160 170 346 0 251 381

N.S.

1 0.95 1.00 0.89 0.95 1.93 0.00 1.40 2.13

time (sec)

N/A 0.391 6.104 0.588 0.199 0.423 0.000 0.360 12.049

Problem 1319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 206 165 272 206 464 0 301 514

N.S.

1 0.97 0.78 1.28 0.97 2.19 0.00 1.42 2.42

time (sec)

N/A 0.427 2.585 0.705 0.208 0.422 0.000 0.399 11.970

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

467 533 403 797 0 706 0 1244 4505

N.S.

1 1.14 0.86 1.71 0.00 1.51 0.00 2.66 9.65

time (sec)

N/A 3.488 2.266 1.559 0.000 0.519 0.000 0.396 14.991

Problem 1321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

408 463 324 601 0 619 0 863 3797

N.S.

1 1.13 0.79 1.47 0.00 1.52 0.00 2.12 9.31

time (sec)

N/A 2.837 2.330 1.311 0.000 0.488 0.000 0.347 14.564

Problem 1322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 255 275 524 0 570 0 735 3683

N.S.

1 1.12 1.21 2.30 0.00 2.50 0.00 3.22 16.15

time (sec)

N/A 1.157 1.506 1.024 0.000 0.495 0.000 0.344 14.540

Problem 1323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 220 336 0 508 0 398 4866

N.S.

1 1.00 0.87 1.33 0.00 2.02 0.00 1.58 19.31

time (sec)

N/A 0.557 0.600 0.855 0.000 0.766 0.000 0.346 13.457

Problem 1324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 208 264 0 549 0 302 4892

N.S.

1 1.00 1.14 1.44 0.00 3.00 0.00 1.65 26.73

time (sec)

N/A 0.461 1.305 0.855 0.000 0.684 0.000 0.373 13.610

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 192 259 266 0 770 0 431 4898

N.S.

1 1.10 1.49 1.53 0.00 4.43 0.00 2.48 28.15

time (sec)

N/A 0.870 2.088 0.943 0.000 0.667 0.000 0.478 13.099

Problem 1326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 379 269 0 801 0 317 4712

N.S.

1 1.00 1.92 1.37 0.00 4.07 0.00 1.61 23.92

time (sec)

N/A 0.506 6.427 0.892 0.000 0.742 0.000 0.447 15.469

Problem 1327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 275 448 320 0 1034 0 396 4334

N.S.

1 1.41 2.30 1.64 0.00 5.30 0.00 2.03 22.23

time (sec)

N/A 0.545 6.356 0.625 0.000 0.778 0.000 0.439 12.994

Problem 1328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 345 504 390 0 1079 0 490 1099

N.S.

1 1.43 2.09 1.62 0.00 4.48 0.00 2.03 4.56

time (sec)

N/A 2.164 1.014 0.655 0.000 0.739 0.000 0.455 11.954

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

363 411 356 486 0 1462 0 627 1289

N.S.

1 1.13 0.98 1.34 0.00 4.03 0.00 1.73 3.55

time (sec)

N/A 2.777 1.728 0.760 0.000 0.982 0.000 0.462 12.593

Problem 1330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

417 473 442 604 0 1645 0 776 1513

N.S.

1 1.13 1.06 1.45 0.00 3.94 0.00 1.86 3.63

time (sec)

N/A 3.368 2.174 0.855 0.000 0.943 0.000 0.703 12.462

Problem 1331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

476 543 593 728 0 2082 0 948 1861

N.S.

1 1.14 1.25 1.53 0.00 4.37 0.00 1.99 3.91

time (sec)

N/A 4.028 3.262 0.909 0.000 1.499 0.000 0.490 13.025

Problem 1332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 95 83 87 82 100 0 85 134

N.S.

1 1.02 0.89 0.94 0.88 1.08 0.00 0.91 1.44

time (sec)

N/A 0.394 0.160 0.385 0.212 0.387 0.000 0.340 12.151

Problem 1333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 72 76 68 74 0 71 117

N.S.

1 1.00 0.90 0.95 0.85 0.92 0.00 0.89 1.46

time (sec)

N/A 0.306 0.046 0.279 0.199 0.391 0.000 0.347 13.201

Problem 1334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 75 65 71 65 63 0 71 91

N.S.

1 1.01 0.88 0.96 0.88 0.85 0.00 0.96 1.23

time (sec)

N/A 0.235 0.013 0.222 0.196 0.394 0.000 0.352 14.553

Problem 1335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 99 84 87 80 93 0 86 87

N.S.

1 1.06 0.90 0.94 0.86 1.00 0.00 0.92 0.94

time (sec)

N/A 0.322 0.087 0.408 0.199 0.433 0.000 0.314 0.225

Problem 1336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 115 108 102 95 143 0 113 98

N.S.

1 1.05 0.98 0.93 0.86 1.30 0.00 1.03 0.89

time (sec)

N/A 0.359 0.269 0.451 0.201 0.524 0.000 0.367 13.379

Problem 1337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 137 135 120 114 224 0 148 125

N.S.

1 1.04 1.02 0.91 0.86 1.70 0.00 1.12 0.95

time (sec)

N/A 0.375 0.384 0.546 0.211 0.624 0.000 0.373 11.794

Problem 1338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 237 221 208 0 521 0 208 2098

N.S.

1 0.88 0.82 0.78 0.00 1.94 0.00 0.78 7.83

time (sec)

N/A 1.150 1.352 0.897 0.000 0.459 0.000 0.381 17.090

Problem 1339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 161 186 150 0 431 0 173 1656

N.S.

1 0.88 1.02 0.82 0.00 2.36 0.00 0.95 9.05

time (sec)

N/A 0.844 1.014 0.619 0.000 0.416 0.000 0.347 14.165

Problem 1340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 130 152 130 0 369 0 131 1538

N.S.

1 0.98 1.14 0.98 0.00 2.77 0.00 0.98 11.56

time (sec)

N/A 0.598 0.725 0.364 0.000 0.467 0.000 0.362 14.034

Problem 1341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 102 152 112 0 305 0 107 148

N.S.

1 1.06 1.58 1.17 0.00 3.18 0.00 1.11 1.54

time (sec)

N/A 0.461 0.120 0.338 0.000 0.416 0.000 0.351 11.880

Problem 1342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 88 151 111 0 308 0 106 151

N.S.

1 1.07 1.84 1.35 0.00 3.76 0.00 1.29 1.84

time (sec)

N/A 0.347 0.281 0.337 0.000 0.409 0.000 0.349 11.943

Problem 1343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 191 122 0 457 0 135 659

N.S.

1 1.00 1.62 1.03 0.00 3.87 0.00 1.14 5.58

time (sec)

N/A 0.436 0.827 0.471 0.000 0.611 0.000 0.362 12.999

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 150 205 155 0 582 0 259 778

N.S.

1 1.17 1.60 1.21 0.00 4.55 0.00 2.02 6.08

time (sec)

N/A 0.477 0.872 0.547 0.000 0.520 0.000 0.397 14.476

Problem 1345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 212 261 199 0 878 0 245 1570

N.S.

1 1.17 1.44 1.10 0.00 4.85 0.00 1.35 8.67

time (sec)

N/A 0.552 3.078 0.758 0.000 0.762 0.000 0.459 16.095

Problem 1346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 159 117 121 142 157 0 177 217

N.S.

1 1.26 0.93 0.96 1.13 1.25 0.00 1.40 1.72

time (sec)

N/A 0.372 0.306 0.587 0.212 0.405 0.000 0.499 12.934

Problem 1347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 165 108 112 132 154 0 168 206

N.S.

1 1.42 0.93 0.97 1.14 1.33 0.00 1.45 1.78

time (sec)

N/A 0.395 0.338 0.490 0.229 0.426 0.000 0.446 12.618

Problem 1348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 151 108 112 132 155 0 170 208

N.S.

1 1.29 0.92 0.96 1.13 1.32 0.00 1.45 1.78

time (sec)

N/A 0.355 0.454 0.490 0.209 0.415 0.000 0.440 12.536

Problem 1349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 165 151 137 156 213 0 210 170

N.S.

1 1.06 0.97 0.88 1.00 1.37 0.00 1.35 1.09

time (sec)

N/A 0.414 0.484 0.680 0.204 0.686 0.000 0.450 13.003

Problem 1350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 179 174 152 200 287 0 279 195

N.S.

1 1.05 1.02 0.89 1.17 1.68 0.00 1.63 1.14

time (sec)

N/A 0.441 0.542 0.915 0.210 0.941 0.000 0.671 12.413

Problem 1351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 205 168 172 244 440 0 275 240

N.S.

1 1.04 0.85 0.87 1.24 2.23 0.00 1.40 1.22

time (sec)

N/A 0.476 0.965 1.049 0.253 1.241 0.000 0.387 12.059

Problem 1352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 184 195 214 0 476 0 241 372

N.S.

1 1.04 1.10 1.21 0.00 2.69 0.00 1.36 2.10

time (sec)

N/A 0.905 0.946 0.584 0.000 0.403 0.000 0.408 17.905

Problem 1353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 159 184 205 0 465 0 227 370

N.S.

1 1.12 1.30 1.44 0.00 3.27 0.00 1.60 2.61

time (sec)

N/A 0.771 1.280 0.635 0.000 0.389 0.000 0.392 17.480

Problem 1354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 172 200 207 0 470 0 229 375

N.S.

1 1.04 1.21 1.25 0.00 2.85 0.00 1.39 2.27

time (sec)

N/A 0.751 1.154 0.558 0.000 0.407 0.000 0.383 17.992

Problem 1355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 158 203 215 0 469 0 240 378

N.S.

1 1.14 1.47 1.56 0.00 3.40 0.00 1.74 2.74

time (sec)

N/A 0.584 1.116 0.637 0.000 0.369 0.000 0.382 17.378

Problem 1356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 334 221 0 680 0 308 2162

N.S.

1 1.00 1.72 1.14 0.00 3.51 0.00 1.59 11.14

time (sec)

N/A 0.612 4.894 0.789 0.000 0.820 0.000 0.401 16.466

Problem 1357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 247 450 253 0 831 0 357 2317

N.S.

1 1.12 2.05 1.15 0.00 3.78 0.00 1.62 10.53

time (sec)

N/A 0.663 6.809 0.936 0.000 0.829 0.000 0.425 17.550

Problem 1358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 332 947 298 0 1182 0 417 5035

N.S.

1 1.00 2.85 0.90 0.00 3.56 0.00 1.26 15.17

time (sec)

N/A 0.748 6.823 1.193 0.000 1.422 0.000 0.464 18.365

Problem 1359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 296 212 217 316 429 0 403 806

N.S.

1 1.23 0.88 0.90 1.32 1.79 0.00 1.68 3.36

time (sec)

N/A 0.913 2.120 1.623 0.212 0.668 0.000 0.435 14.216

Problem 1360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 264 198 203 303 351 0 384 627

N.S.

1 1.19 0.90 0.92 1.37 1.59 0.00 1.74 2.84

time (sec)

N/A 0.824 1.469 1.355 0.236 0.624 0.000 0.472 14.569

Problem 1361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 271 187 193 289 303 0 371 549

N.S.

1 1.30 0.90 0.93 1.39 1.46 0.00 1.78 2.64

time (sec)

N/A 0.805 1.187 1.028 0.207 0.587 0.000 0.421 13.304

Problem 1362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 264 184 189 288 261 0 343 498

N.S.

1 1.29 0.90 0.93 1.41 1.28 0.00 1.68 2.44

time (sec)

N/A 0.622 0.754 0.940 0.223 0.468 0.000 0.399 13.067

Problem 1363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 272 169 175 276 261 0 333 507

N.S.

1 1.43 0.89 0.92 1.45 1.37 0.00 1.75 2.67

time (sec)

N/A 0.644 0.982 0.933 0.225 0.518 0.000 0.519 12.467

Problem 1364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 248 166 176 267 260 0 326 471

N.S.

1 1.36 0.91 0.97 1.47 1.43 0.00 1.79 2.59

time (sec)

N/A 0.566 0.962 1.021 0.218 0.481 0.000 0.501 12.484

Problem 1365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 238 163 173 265 258 0 325 498

N.S.

1 1.34 0.92 0.97 1.49 1.45 0.00 1.83 2.80

time (sec)

N/A 0.520 0.916 0.923 0.204 0.421 0.000 0.494 12.810

Problem 1366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 222 161 170 267 255 0 323 483

N.S.

1 1.25 0.91 0.96 1.51 1.44 0.00 1.82 2.73

time (sec)

N/A 0.434 4.198 0.935 0.200 0.497 0.000 0.490 12.408

Problem 1367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 245 220 203 299 344 0 391 346

N.S.

1 1.05 0.94 0.87 1.28 1.48 0.00 1.68 1.48

time (sec)

N/A 0.527 1.975 1.141 0.223 1.565 0.000 0.424 12.286

Problem 1368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 261 234 219 361 425 0 418 373

N.S.

1 1.04 0.94 0.88 1.44 1.70 0.00 1.67 1.49

time (sec)

N/A 0.566 4.241 1.306 0.224 2.416 0.000 0.625 12.306

Problem 1369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 285 281 238 422 640 0 589 412

N.S.

1 1.04 1.03 0.87 1.54 2.34 0.00 2.15 1.50

time (sec)

N/A 0.606 6.171 1.516 0.215 3.312 0.000 0.372 12.829

Problem 1370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

500 500 816 1405 0 0 0 0 0

N.S.

1 1.00 1.63 2.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.315 20.698 4.658 0.000 0.000 0.000 0.000 0.000

Problem 1371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

448 448 789 1462 0 0 0 0 0

N.S.

1 1.00 1.76 3.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.136 20.814 3.908 0.000 0.000 0.000 0.000 0.000

Problem 1372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

369 369 372 1002 0 0 0 0 0

N.S.

1 1.00 1.01 2.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.039 12.010 2.488 0.000 0.000 0.000 0.000 0.000

Problem 1373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

341 335 351 839 0 0 0 0 0

N.S.

1 0.98 1.03 2.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.378 12.229 2.368 0.000 0.000 0.000 0.000 0.000

Problem 1374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

355 355 534 185 0 0 0 0 0

N.S.

1 1.00 1.50 0.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.086 22.216 0.735 0.000 0.000 0.000 0.000 0.000

Problem 1375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

433 433 1550 1266 0 0 0 0 0

N.S.

1 1.00 3.58 2.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.119 34.220 5.105 0.000 0.000 0.000 0.000 0.000

Problem 1376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

544 544 1582 287 0 0 0 0 0

N.S.

1 1.00 2.91 0.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.281 27.101 0.758 0.000 0.000 0.000 0.000 0.000

Problem 1377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

621 621 1991 1219 0 0 0 0 0

N.S.

1 1.00 3.21 1.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.617 22.989 6.352 0.000 0.000 0.000 0.000 0.000

Problem 1378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

514 514 1953 1054 0 0 0 0 0

N.S.

1 1.00 3.80 2.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.403 24.587 5.196 0.000 0.000 0.000 0.000 0.000

Problem 1379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

426 421 1909 904 0 0 0 0 0

N.S.

1 0.99 4.48 2.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.813 21.279 3.343 0.000 0.000 0.000 0.000 0.000

Problem 1380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

439 439 484 214 0 0 0 0 0

N.S.

1 1.00 1.10 0.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.448 14.911 0.683 0.000 0.000 0.000 0.000 0.000

Problem 1381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

469 469 2099 1508 0 0 0 0 0

N.S.

1 1.00 4.48 3.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.421 45.932 4.872 0.000 0.000 0.000 0.000 0.000

Problem 1382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

574 574 2129 289 0 0 0 0 0

N.S.

1 1.00 3.71 0.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.562 26.149 0.749 0.000 0.000 0.000 0.000 0.000

Problem 1383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

610 610 790 2001 0 0 0 0 0

N.S.

1 1.00 1.30 3.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.545 19.229 24.723 0.000 0.000 0.000 0.000 0.000

Problem 1384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

501 501 824 1181 0 0 0 0 0

N.S.

1 1.00 1.64 2.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.349 19.934 10.047 0.000 0.000 0.000 0.000 0.000

Problem 1385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

413 402 737 1533 0 0 0 0 0

N.S.

1 0.97 1.78 3.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.722 17.138 7.292 0.000 0.000 0.000 0.000 0.000

Problem 1386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

425 425 484 255 0 0 0 0 0

N.S.

1 1.00 1.14 0.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.400 20.334 5.502 0.000 0.000 0.000 0.000 0.000

Problem 1387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

462 462 1465 1484 0 0 0 0 0

N.S.

1 1.00 3.17 3.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.381 23.107 24.845 0.000 0.000 0.000 0.000 0.000

Problem 1388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

557 557 1590 290 0 0 0 0 0

N.S.

1 1.00 2.85 0.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.489 27.038 70.858 0.000 0.000 0.000 0.000 0.000

Problem 1389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C C F F(-1) F(-1) F F(-1)

verified

N/A N/A No No TBD TBD TBD TBD TBD

size

509 0 1953 1194 0 0 0 0 0

N.S.

1 0.00 3.84 2.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 22.426 4.239 0.000 0.000 0.000 0.000 0.000

Problem 1390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

457 464 1915 1107 0 0 0 0 0

N.S.

1 1.02 4.19 2.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.616 20.801 3.496 0.000 0.000 0.000 0.000 0.000

Problem 1391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

380 384 404 995 0 0 0 0 0

N.S.

1 1.01 1.06 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.901 14.426 2.913 0.000 0.000 0.000 0.000 0.000

Problem 1392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

352 354 546 857 0 0 0 0 0

N.S.

1 1.01 1.55 2.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.498 6.500 2.128 0.000 0.000 0.000 0.000 0.000

Problem 1393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

369 369 663 184 0 0 0 0 0

N.S.

1 1.00 1.80 0.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.183 15.711 0.768 0.000 0.000 0.000 0.000 0.000

Problem 1394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

448 448 2093 1278 0 0 0 0 0

N.S.

1 1.00 4.67 2.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.237 26.864 5.268 0.000 0.000 0.000 0.000 0.000

Problem 1395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

557 557 2129 287 0 0 0 0 0

N.S.

1 1.00 3.82 0.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.358 25.316 0.854 0.000 0.000 0.000 0.000 0.000

Problem 1396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

584 523 820 1331 0 0 0 0 0

N.S.

1 0.90 1.40 2.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.196 22.026 5.502 0.000 0.000 0.000 0.000 0.000

Problem 1397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

509 469 793 1146 0 0 0 0 0

N.S.

1 0.92 1.56 2.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.505 20.275 5.112 0.000 0.000 0.000 0.000 0.000

Problem 1398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

453 420 785 1209 0 0 0 0 0

N.S.

1 0.93 1.73 2.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.044 14.283 4.323 0.000 0.000 0.000 0.000 0.000

Problem 1399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A No No No TBD TBD TBD TBD TBD

size

413 388 783 1250 0 0 0 0 0

N.S.

1 0.94 1.90 3.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.834 13.852 4.700 0.000 0.000 0.000 0.000 0.000

Problem 1400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

507 507 1587 436 0 0 0 0 0

N.S.

1 1.00 3.13 0.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.626 25.673 0.837 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]